Interactive Configuration of Embedded Systems Product Lines
نویسندگان
چکیده
This paper addresses product configuration and product derivation in product lines of embedded systems. We show how domain-specific languages (DSLs), which are used to describe the implementation of the product, can be translated into configurable models with formal semantics. This facilitates, tool support during configuration including (1) side-byside visualization of features and corresponding implementation components, (2) automated reasoning to calculate consequences of the user’s configuration decisions and (3) visual explanations for automatically calculated consequences. In addition, we discuss (4) how a completed configuration can be turned into a productspecific model in the domain-specific language, using negative variability and subsequent pruning of the implementation model. The approach is demonstrated for product lines of embedded systems using Simulink as an domain-specific language for the model-based engineering of embedded systems. We report on first evaluation results with a product line of parking assistant applications, including experimentation on a rapid prototyping platform with a 1:5 model car.
منابع مشابه
Variability and Evolution in Model-based Engineering of Embedded Systems
Abstract: In this paper, we report on techniques for variability and evolution in Model-based Engineering of Embedded Systems. The techniques are based on an integration of domain-specific languages for embedded systems with model-driven techniques for Software Product Lines. In particular, we discuss (1) product configuration with interactive tools, (2) product derivation with model transforma...
متن کاملCarrying Ideas from Knowledge-Based Configuration to Software Product Lines
Software variability modelling (SVM) has become a central concern in software product lines – especially configurable software product lines (CSPL) require rigorous SVM. Dynamic SPLs, service oriented SPLs, and autonomous or pervasive systems are examples where CSPLs are applied. Knowledge-based configuration (KBC) is an established way to address variability modelling aiming for the automatic ...
متن کاملTowards a Search-based Interactive Configuration of Cyber Physical System Product Lines
Product Line Engineering (PLE) is a technique to improve the quality and productivity of developing (via configuration) Cyber Physical Systems (CPSs). A CPS often contains many heterogeneous components with complex constraints relevant to product configuration in the context of PLE. Manual configuration is error-prone and has low productivity since managing and manipulating such constraints in ...
متن کاملFast Backtrack-free Product Configuration Using a Precompiled Solution Space Representation
In this paper we describe a two-phase approach to interactive product configuration. In the first phase, a compressed symbolic representation of the set of valid configurations (the solution space) is compiled offline. In the second phase, this representation is embedded in an online configurator and utilized for fast, complete, and backtrack-free interactive product configuration. The main adv...
متن کاملPre-Packaged Variability for Product Derivation in Product Lines
Product configurators are widely used to generate products out of the vast amount of potential variants in product families. This is a complex task that is hampered by the fact that configuration models are abstractions of the real world and cannot contain all dependencies between the artifacts and the environment. For embedded systems this is crucial because calibration is used to adjust the p...
متن کامل